// Copyright (c) 2018-present The Alive2 Authors.
// Distributed under the MIT license that can be found in the LICENSE file.

TOKEN(END)
TOKEN(ABS)
TOKEN(ADD)
TOKEN(AND)
TOKEN(ARRAY_TYPE_PREFIX)
TOKEN(ARROW)
TOKEN(ASHR)
TOKEN(ASSUME)
TOKEN(BAND)
TOKEN(BITCAST)
TOKEN(BITREVERSE)
TOKEN(BSWAP)
TOKEN(BOR)
TOKEN(CALL)
TOKEN(COMMA)
TOKEN(CONSTANT)
TOKEN(CEQ)
TOKEN(CNE)
TOKEN(CSLT)
TOKEN(CSGT)
TOKEN(CTLZ)
TOKEN(CTPOP)
TOKEN(CTTZ)
TOKEN(CULT)
TOKEN(CUGT)
TOKEN(DOUBLE)
TOKEN(EQ)
TOKEN(EQUALS)
TOKEN(EXACT)
TOKEN(EXTRACTELEMENT)
TOKEN(EXTRACTVALUE)
TOKEN(FABS)
TOKEN(FADD)
TOKEN(FALSE)
TOKEN(FCMP)
TOKEN(FDIV)
TOKEN(FLOAT)
TOKEN(FMUL)
TOKEN(FNEG)
TOKEN(REDUCE_ADD)
TOKEN(REDUCE_MUL)
TOKEN(REDUCE_AND)
TOKEN(REDUCE_OR)
TOKEN(REDUCE_XOR)
TOKEN(REDUCE_SMAX)
TOKEN(REDUCE_SMIN)
TOKEN(REDUCE_UMAX)
TOKEN(REDUCE_UMIN)
TOKEN(FFS)
TOKEN(FP_NUM)
TOKEN(FPEXT)
TOKEN(FPTOSI)
TOKEN(FPTOUI)
TOKEN(FPTRUNC)
TOKEN(FREEZE)
TOKEN(FREM)
TOKEN(FSHL)
TOKEN(FSHR)
TOKEN(SMULFIX)
TOKEN(UMULFIX)
TOKEN(SMULFIXSAT)
TOKEN(UMULFIXSAT)
TOKEN(FMA)
TOKEN(FMAX)
TOKEN(FMAXIMUM)
TOKEN(FMAXIMUMNUM)
TOKEN(FMIN)
TOKEN(FMINIMUM)
TOKEN(FMINIMUMNUM)
TOKEN(FREXP)
TOKEN(FSUB)
TOKEN(GLOBAL_NAME)
TOKEN(HALF)
TOKEN(ICMP)
TOKEN(IDENTIFIER)
TOKEN(INSERTELEMENT)
TOKEN(INSERTVALUE)
TOKEN(INT_TYPE)
TOKEN(LABEL)
TOKEN(LBRACE)
TOKEN(LPAREN)
TOKEN(LSHR)
TOKEN(LSQBRACKET)
TOKEN(MEMORY)
TOKEN(MUL)
TOKEN(NAME)
TOKEN(NE)
TOKEN(NINF)
TOKEN(NNAN)
TOKEN(NORETURN)
TOKEN(WILLRETURN)
TOKEN(NONE)
TOKEN(NSZ)
TOKEN(NSW)
TOKEN(NULLTOKEN)
TOKEN(NUM)
TOKEN(NUM_STR)
TOKEN(NUW)
TOKEN(OEQ)
TOKEN(OGE)
TOKEN(OGT)
TOKEN(OLE)
TOKEN(OLT)
TOKEN(ONE)
TOKEN(OR)
TOKEN(ORD)
TOKEN(PLUS)
TOKEN(POISON)
TOKEN(PRE)
TOKEN(PTRTOINT)
TOKEN(READ)
TOKEN(READWRITE)
TOKEN(REGISTER)
TOKEN(RETURN)
TOKEN(RBRACE)
TOKEN(RPAREN)
TOKEN(RSQBRACKET)
TOKEN(SADD_OVERFLOW)
TOKEN(SADD_SAT)
TOKEN(SCMP)
TOKEN(SDIV)
TOKEN(SELECT)
TOKEN(SEXT)
TOKEN(SGE)
TOKEN(SGT)
TOKEN(SHL)
TOKEN(SHUFFLEVECTOR)
TOKEN(SITOFP)
TOKEN(SLE)
TOKEN(SLT)
TOKEN(SMUL_OVERFLOW)
TOKEN(SREM)
TOKEN(SSUB_OVERFLOW)
TOKEN(SSUB_SAT)
TOKEN(SSHL_SAT)
TOKEN(STAR)
TOKEN(SUB)
TOKEN(TO)
TOKEN(TRUE)
TOKEN(TRUNC)
TOKEN(UADD_OVERFLOW)
TOKEN(UADD_SAT)
TOKEN(UDIV)
TOKEN(UEQ)
TOKEN(UGE)
TOKEN(UGT)
TOKEN(UITOFP)
TOKEN(ULE)
TOKEN(ULT)
TOKEN(UMUL_OVERFLOW)
TOKEN(UMIN)
TOKEN(UMAX)
TOKEN(SMIN)
TOKEN(SMAX)
TOKEN(UCMP)
TOKEN(UNDEF)
TOKEN(UNE)
TOKEN(UNO)
TOKEN(UNREACH)
TOKEN(UREM)
TOKEN(USUB_OVERFLOW)
TOKEN(USUB_SAT)
TOKEN(USHL_SAT)
TOKEN(VECTOR_TYPE_PREFIX)
TOKEN(WRITE)
TOKEN(XOR)
TOKEN(ZEXT)
